Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Investigating the relation between the structure and behavior of complex biological networks often involves posing the following two questions: Is a hypothesized structure of a regulatory network consistent with the observed behavior? And can a proposed structure generate a desired behavior? Answering these questions presupposes that we are able to test the compatibility of network structure and behavior. We cast these questions into a parameter search problem for qualitative models of regulatory networks, in particular piecewise-affine differential equation models. We develop a method based on symbolic model checking that avoids enumerating all possible parametrizations, and show that this method performs well on real biological problems, using the IRMA synthetic network and benchmark experimental data sets. We test the consistency between the IRMA network structure and the time-series data, and search for parameter modifications that would improve the robustness of the external control of the system behavior

A Survey on Reachable Set Techniques for Fault Recoverability Assessment

The development of any fault-tolerant control solution is based on the strong assumption that fault situations can be accommodated. This paper provides a survey of four reachable set techniques to assess the fault recoverability property for constrained linear time invariant (LTI) systems by means of ellipsoid, zonotope, polytope and support function representations. These techniques are next applied to an angular velocity spacecraft model. A discussion is finally made to assess the computational complexity for the four algorithms

Carbenic nitrile imines: Properties and reactivity

Structures and properties of nitrile imines were investigated computationally at B3LYP and CCSD(T) levels. Whereas NBO analysis at the B3LYP DFT level invariably predicts a propargylic electronic structure, CCSD(T) calculations permit a clear distinction between propargylic, allenic, and carbenic structures. Nitrile imines with strong IR absorptions above ca. 2150 cm-1 have propargylic structures with a CN triple bond (RCNNSiMe 3 and R2BCNNBR2), and those with IR absorptions below ca. 2150 cm-1 are allenic (HCNNH, PhCNNH, and HCNNPh). Nitrile imines lacking significant cumulenic IR absorptions at 1900-2200 cm -1 are carbenic (R-(C:)-N=N-R′). Electronegative but lone pair-donating groups NR2, OR, and F stabilize the carbenic form of nitrile imines in the same way they stabilize "normal" singlet carbenes, including N-heterocyclic carbenes. NBO analyses at the CCSD(T) level confirm the classification into propargylic, allenic, and carbenic reactivity types. Carbenic nitrile imines are predicted to form azoketenes 21 with CO, to form [2+2] and [2+4] cycloadducts and borane adducts, and to cyclize to 1H-diazirenes of the type 24 in mildly exothermic reactions with activation energies in the range 29-38 kcal/mol. Such reactions will be readily accessible photochemically and thermally, e.g., under the conditions of matrix photolysis and flash vacuum thermolysis

Insights into the Musa genome: Syntenic relationships to rice and between Musa species

<p>Abstract</p> <p>Background</p> <p><it>Musa </it>species (Zingiberaceae, Zingiberales) including bananas and plantains are collectively the fourth most important crop in developing countries. Knowledge concerning <it>Musa </it>genome structure and the origin of distinct cultivars has greatly increased over the last few years. Until now, however, no large-scale analyses of <it>Musa </it>genomic sequence have been conducted. This study compares genomic sequence in two <it>Musa </it>species with orthologous regions in the rice genome.</p> <p>Results</p> <p>We produced 1.4 Mb of <it>Musa </it>sequence from 13 BAC clones, annotated and analyzed them along with 4 previously sequenced BACs. The 443 predicted genes revealed that Zingiberales genes share GC content and distribution characteristics with eudicot and Poaceae genomes. Comparison with rice revealed microsynteny regions that have persisted since the divergence of the Commelinid orders Poales and Zingiberales at least 117 Mya. The previously hypothesized large-scale duplication event in the common ancestor of major cereal lineages within the Poaceae was verified. The divergence time distributions for <it>Musa</it>-Zingiber (Zingiberaceae, Zingiberales) orthologs and paralogs provide strong evidence for a large-scale duplication event in the <it>Musa </it>lineage after its divergence from the Zingiberaceae approximately 61 Mya. Comparisons of genomic regions from <it>M. acuminata </it>and <it>M. balbisiana </it>revealed highly conserved genome structure, and indicated that these genomes diverged circa 4.6 Mya.</p> <p>Conclusion</p> <p>These results point to the utility of comparative analyses between distantly-related monocot species such as rice and <it>Musa </it>for improving our understanding of monocot genome evolution. Sequencing the genome of <it>M. acuminata </it>would provide a strong foundation for comparative genomics in the monocots. In addition a genome sequence would aid genomic and genetic analyses of cultivated <it>Musa </it>polyploid genotypes in research aimed at localizing and cloning genes controlling important agronomic traits for breeding purposes.</p